#include <tty/vga.h>

#ifndef _TTY_H
#define _TTY_H

typedef unsigned short vga_attribute;

#define TTY_WIDTH   80
#define TTY_HEIGHT  25

void tty_set_theme(vga_attribute fg, vga_attribute bg);

void tty_put_char(char chr);

void tty_put_str(char* str);

void tty_scroll_up();

void tty_clear();

#endif